sends{-}bound($p$;$e$;$l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of($p$($e$,$l$))